2776 search results - page 243 / 556 » System-Level Abstraction Semantics |
261
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
202
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
133
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract— Typical nonlinear model order reduction approaches need to address two issues: reducing the order of the model, and approximating the vector field. In this paper we fo...
177
click to vote
CIBCB
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
171
click to vote
ETFA
2006
IEEE
16 years 21 days ago
2006
IEEE
— Networks for real-time embedded systems are a key emerging technology for current and future systems. Such networks need to enable reliable communication without requiring sign...