6167 search results - page 277 / 1234 » Can Refinement be Automated |
184
click to vote
DATE
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
198
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
196
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
182
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper proposes a new method for designing dynamic wrinkles that appear and disappear according to the underlying deformation of tissues. The user positions and orients wrinkl...
209
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...