Title of Research PEBB Plug and Play (2009)
Dushan Boroyevich, Stephen Edwards, Sumithra Bhakthavatsalam, O Burgos, Jerry Francis, Daniel Ghizoni, ...
Contract Information Contract Number N000140010489
Tu, Zhidong, Argmann, Carmen, Wong, Kenny K., Mitnaul, Lyndon J., Edwards, Stephen, Sach, Iliana C., ...
Insulin resistance is one of the dominant symptoms of type 2 diabetes (T2D). Although the molecular mechanisms leading to this resistance are largely unknown, experimental data support that the...
3 Now at Lattice Semiconductor Contents (2008)
Adnan Aziz, Robert Brayton, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, ...
Title of Research PEBB Plug and Play (2008)
Jinghong Guo, Jerry Francis, Luca Solero, Xiangfei Ma, Daniel Ghizoni, Wei Shen, ...
Contract Information
Designing Reusable, Reconfigurable Control Software for Power Electronics Systems (2008)
Jinghong Guo, Stephen Edwards, Dushan Borojevic
Abstract—This paper presents dataflow architecture to design reusable and reconfigurable control software of power electronics systems. Reasons that traditional “main-programand-subroutine”...
Stephen Edwards, Gitanjali Swamy, Adnan Azizrobert, Brayton Stephen, Edwardsgary Hachtel, Sunil Khatriyuji, ...
Jinghong Guo, Stephen Edwards, Dushan Borojevic
Abstract—This paper presents a reconfigurable and reusable decentralized architecture, ECO—Dataflow architecture, for control of power electronics systems. Under this architecture, the control of...
Vladimir Glina, Stephen Edwards
Because of limited information exchange between component providers and users, both these parties should perform component verification. Java Modeling Language, a notation which allows writing of...
Courses Really Be Delivered Asynchronously On-line? (2008)
Abstract: This article briefly presents a case study in on-line asynchronous course delivery. It sketches the design of a graduate computer science course entitled "Software Design and...
S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-vincentelli, Stephen Edwards, Edward A. Lee, ...
Research partially sponsored by: SRC,
The case for the precision timed (PRET) machine (2006)
Stephen Edwards, Edward A. Lee, All Rights Reserved, Stephen A. Edwards, Edward A. Lee
Copyright © 2006, by the author(s).
A comparative study of Muslim and Christian soteriology and its missiological implications / (2005)
Thesis (M.A.I.S.)--Southwestern Baptist Theological Seminary, 2005.
Harris, James, Burke, Christopher, Edwards, Stephen, Johns, Deon
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Harris, James, Burke, Christopher, Edwards, Stephen, Johns, Deon
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Harris, James, Burke, Christopher, Edwards, Stephen, Johns, Deon
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Harris, James, Burke, Christopher, Edwards, Stephen, Johns, Deon
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Harris, James, Burke, Christopher, Edwards, Stephen, Johns, Deon
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Harris, James, Burke, Christopher, Edwards, Stephen, Johns, Deon
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Hermanpreet Singh, Denis Gracanin Chair, Shawn Bohner, Stephen Edwards, Hermanpreet Singh
Introspection has become a significant language feature to enable new component technologies. It enables such capabilities as runtime component discovery, new levels of component flexibility and...
Girls Will Be Girls = Girls Will Be Girls (2003)
Day, Richard (realización), Day, Richard (guión), Hutak, Nicholas (fotografía), Conlee, Chris (montaje), Edwards, Stephen (música), Plotnick, Jack (actuación), ...
0-7928-6037-3
Model Variables: Cleanly Supporting (2003)
Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards, Stephen Edwards D
Techniques — modules and interfaces, object-oriented design methods; D.2.4
Model Variables: Cleanly Supporting Abstraction in Design by Contact (2003)
Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Murali Sitaraman, Stephen Edwards, Stephen Edwards
In design by contract (DBC), assertions are typically written using program variables and query methods. This technique does not allow specifiers to write modeloriented specifications for interfaces...
Information Retrieval Meets Gene Analysis (2002)
Hagit Shatkay, Celera Genomics, Stephen Edwards, Rosetta Inpharmatics
method uses the scientific literature to establish functional relationships among genes on a genome-wide scale. Experiments on documents discussing yeast genes demonstrate its potential.
Nathan Conklin, Stephen Edwards, Naren Ramakrishnan
Information visualizations must often be custom programmed to support complex user tasks and database schemas. This is an expensive and time consuming effort, even when general-purpose visualizations...
Genes, themes and microarrays: Using information retrieval for large-scale gene analysis (2000)
Hagit Shatkay, Stephen Edwards, W. John, Wilbur Mark Boguski
The immense volume of data resulting from DNA microarray experiments, accompanied by anincrease in the number of publications discussing gene-related discoveries, presents a major data analysis...
Genes, Themes and Microarrays - Using Information Retrieval for Large-Scale Gene Analysis (2000)
Hagit Shatkay, Stephen Edwards, W. John Wilbur, Mark Boguski, W. John, Wilbur Mark Boguski
The immense volume of data resulting from DNA microarray experiments, accompanied by an increase in the number of publications discussing gene-related discoveries, presents a major data analysis...
UIML: A Device-Independent User Interface Markup Language (2000)
Stephen Edwards, Mary Beth Rosson, Robert C. Williges, Constantinos Phanouriou, Constantinos Phanouriou
Language by
Efficient verification and synthesis using design commonalities (1998)
Gitanjali Swamy, Stephen Edwards, Robert Brayton
In this paper we solve the problem of identifying a "matching " between two logic circuits or "networks ". A matching is a functions that maps each gate or...
Design of Embedded Systems: Formal Models, Validation, and Synthesis (1997)
Stephen Edwards, Luciano Lavagno, Edward A. Lee, Alberto Sangiovanni–vincentelli
This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware...
Design of Embedded Systems: Formal Models, Validation, and Synthesis (1997)
Stephen Edwards, Luciano Lavagno, Edward A. Lee, Alberto Sangiovanni-vincentelli
Abstract---This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining...
Design of Embedded Systems: Formal Models, Validation, and Synthesis (1997)
Stephen Edwards, L. Lavagno, E. A. Lee, Alberto Sangiovanni-Vincentelli, Stephen Edwards, Luciano Lavagno, ...
This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs...
Design of Embedded Systems: Formal Models, Validation, and Synthesis (1997)
Stephen Edwards, Luciano Lavagno, Edward A. Lee, Alberto Sangiovanni-vincentelli
Abstract—This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining...
Limits of exact algorithms for inference of minimum size finite state machines (1996)
Arlindo L. Oliveira, Stephen Edwards
Abstract. We address the problem of selecting the minimum sized finite state machine consistent with given input/output samples. The problem can be solved by computing the minimum finite state...
Vis: A system for verification and synthesis (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-vincentelli, Fabio Somenzi, Adnan Aziz, Szu-tsung Cheng, ...
Sunil Khatri Yuji Kukimoto Abelardo Pardo y Shaz Qadeer Rajeev K. Ranjan
Vis: A system for verification and synthesis (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-vincentelli, Fabio Somenzi, Adnan Aziz, Szu-tsung Cheng, ...
Sunil Khatri Yuji Kukimoto Abelardo Pardo y Shaz Qadeer Rajeev K. Ranjan
Vis: A system for verification and synthesis (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-vincentelli, Fabio Somenzi, Adnan Aziz, Szu-tsung Cheng, ...
Sunil Khatri Yuji Kukimoto Abelardo Pardo y Shaz Qadeer Rajeev K. Ranjan
VIS: A System for Verification and Synthesis (1996)
Alberto Sangiovanni-Vincentelli, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, ...
ion Manual abstraction can be performed by giving a file containing the names of variables to abstract. For each variable appearing in the file, a new primary input node is created to drive all the...
Inference of State Machines from Examples of Behavior (1995)
Arlindo L. Oliveira, Stephen Edwards
Often, the desired behavior of a system is known before a design of the system is known. It usually falls to the designer to correctly translate this behavior into a system that exhibits it. This...
Representation Inheritance: A Safe Form of "White Box" Code Inheritance (1995)
Inheritance as a programming language mechanism can be used to achieve several different goals, both in terms of expressing relationships between components and in terms of defining new components...
An Esterel compiler for a synchronous/reactive development system (1994)
The objective of this project was to create a different scheme for compiling the Esterel synchronous reactive programming language [6, 5, 4, 9] which could handle larger programs, facilitates...
Word sense disambiguation using statistical methods (1991)
Christopher L North, Stephen Edwards, Scott Alexander Turner, Scott Alexander Turner
Unified Modeling Language (UML) diagraming is commonly used in introductory Computer Science to teach basic object-oriented design, but there appears to be a lack of suitable software to support this...
The behavioural pharmacology of peripheral 5-hydroxytryptamine-induced anorexia. (1990)
Thesis (Ph. D.)--University of Nottingham, 1990.
Edwards, Stephen, Fielding, Susan, Waters, Raymond
The data in this paper show that when the inhibition of growth is measured, xeroderma pigmentosum (XP) complementation groups A, G and D are very sensitive to 4-nitroquinoline-1-oxide (4NQO), whereas...
Edwards, Malcolm J., Batmanghelich, Shariar, Edwards, Stephen, Parry, James M., Smith, Keith
1-Nitropyrene, 1-nitrosopyrene and 1-aminopyrene were investigated for their ability to induce covalently bound DNA adducts in calf thymus DNA and Chinese hamster lung fibroblasts. Xanthine oxidase...
Fox, Jayne C., Edwards, Stephen, Waters, Raymond
The experiments reported here have investigated the induction of ethylations to DNA in yeast cells exposed to the chemical mutagen ethylnitrosourea. A similar level of alkylation was seen at the N7...