10038 search results - page 217 / 2008 » Model Checking for Managers |
170
click to vote
MOBIS
2008
15 years 5 months ago
2008
Abstract: Regulatory compliance sets new requirements for business process management (BPM). Companies seek to enhance their corporate governance processes and are required to put ...
129
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
135
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
One of the main challenges of modern processor design is the implementation of a scalable and efficient mechanism to detect memory access order violations as a result of out-of-o...
163
click to vote
PVLDB
2008
15 years 3 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
195
click to vote
ASPLOS
2012
ACM
14 years 5 days ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...