2488 search results - page 207 / 498 » An improvement in formal verification |
138
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
117
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
104
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
112
click to vote
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
103
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...