3168 search results - page 273 / 634 » Computing Event Dependencies in System Designs and Programs |
181
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
170
click to vote
PRDC
2007
IEEE
16 years 26 days ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
162
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
One of the growing problems faced by network administrators is the abuse of computing resources by authorized and unauthorized personnel. The nature of abuse may vary from using u...
180
click to vote
UPP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
157
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...