Sciweavers

1781 search results - page 116 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
122
Voted
DAC
2006
ACM
16 years 1 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
88
Voted
HCI
2007
15 years 2 months ago
Tasks Models Merging for High-Level Component Composition
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...
Arnaud Lewandowski, Sophie Lepreux, Grégory...
COMPUTER
2007
153views more  COMPUTER 2007»
15 years 20 days ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis
95
Voted
WSC
2007
15 years 3 months ago
Beyond the university: simulation education on the job
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
Peter Tag, David Krahl
CODES
2005
IEEE
15 years 6 months ago
Comparing two testbench methods for hierarchical functional verification of a bluetooth baseband adaptor
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
Edgar L. Romero, Marius Strum, Wang Jiang Chau