3565 search results - page 531 / 713 » Modeling a system controller for timing analysis |
195
click to vote
HYBRID
2010
Springer
16 years 2 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
200
Voted
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
The wide availability of large scale databases requires more efficient and scalable tools for data understanding and knowledge discovery. In this paper, we present a method to ...
204
click to vote
TPDS
2008
15 years 6 months ago
2008
Consistency maintenance is important to the sharing of dynamic contents in peer-to-peer (P2P) networks. The TTL-based mechanism is a natural choice for maintaining freshness in P2P...
196
Voted
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
197
click to vote
FOSSACS
2012
Springer
14 years 2 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...