23 search results - page 4 / 5 » Scenario Synthesis from Imprecise Requirements |
ICCAD
2009
IEEE
13 years 2 months ago
2009
IEEE
As CMOS devices are scaled down into the nanometer regime, concerns about reliability are mounting. Instead of viewing nanoscale characteristics as an impediment, technologies suc...
ECLIPSE
2007
ACM
13 years 8 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
ISVC
2010
Springer
13 years 3 months ago
2010
Springer
Physically-based image synthesis requires measured spectral quantities for illuminants and reflectances as part of the virtual scene description to compute trustworthy lighting si...
NLDB
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...
PLDI
2005
ACM
13 years 10 months ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...