339 search results - page 8 / 68 » An Experimental Framework for the Analysis and Validation of... |
TCAD
2010
13 years 2 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
MKWI
2008
13 years 9 months ago
2008
: This paper examines possibilities and consequences of introducing variability with respect to pricing, accounting, and way of payment into software product lines for developers, ...
ICSM
2003
IEEE
14 years 27 days ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
CODES
1994
IEEE
13 years 11 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...