1569 search results - page 130 / 314 » Automated Design Improvement by Example |
159
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Whereas schools typically record mounds of data regarding student performance, attendance, and other behaviors over the course of a school year, rarely is that data consulted and ...
147
click to vote
MODELS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
168
click to vote
ICCAD
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper presents an architecture and a wrapper synthesis approach for the design of multi-clock systems-on-chips. We build upon the initial work on multi-clock latency-insen...
175
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
178
click to vote
IDA
1999
Springer
15 years 10 months ago
1999
Springer
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...