9405 search results - page 1024 / 1881 » Computing a Model of Set Theory |
228
click to vote
CF
2010
ACM
16 years 21 days ago
2010
ACM
We develop two simple interval-based models for dynamic superscalar processors. These models allow us to: i) predict with great accuracy performance and power consumption under va...
249
click to vote
PASTE
2010
ACM
16 years 21 days ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
225
click to vote
FM
2008
Springer
15 years 9 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
178
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Oral delivery is a highly desirable property for candidate drugs under development. Computational modeling could provide a quick and inexpensive way to assess the inte...
219
click to vote
TVLSI
2008
15 years 7 months ago
2008
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...