984 search results - page 171 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
133
Voted
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
We present techniques for estimating switching activity and power consumption in register-transfer level (RTL) circuits. Previous work on this topic has ignored the presence of gl...
134
click to vote
CSCW
1996
ACM
15 years 7 months ago
1996
ACM
Our experience with Internet-based scientific collaboratories indicates that they need to be user-extensible, allow users to add tools and objects dynamically to shared workspaces...
140
Voted
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
137
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
87
Voted
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...