427 search results - page 49 / 86 » Simulation of Advanced Transaction Models Using GOLOG |
126
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
102
click to vote
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
119
click to vote
TKDE
2002
15 years 28 days ago
2002
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
120
click to vote
TSE
1998
15 years 28 days ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
DAC
2007
ACM
16 years 2 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...