2588 search results - page 376 / 518 » Engineering Systems Which Generate Emergent Functionalities |
127
Voted
DFG
2004
Springer
15 years 9 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
131
click to vote
MM
2009
ACM
15 years 10 months ago
2009
ACM
Web image search is inspired by text search techniques; it mainly relies on indexing textual data that surround the image file. But retrieval results are often noisy and image pro...
226
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
130
click to vote
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...
135
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...