309 search results - page 43 / 62 » Model checking transactional memories |
104
click to vote
RTSS
2006
IEEE
15 years 7 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
122
click to vote
POPL
2004
ACM
15 years 7 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
115
click to vote
POPL
2009
ACM
15 years 8 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
101
click to vote
CSCWD
2005
Springer
15 years 3 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
124
Voted
AEI
2007
15 years 2 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...