12981 search results - page 2535 / 2597 » Model Checking (Abstract) |
GI
2003
Springer
15 years 3 months ago
2003
Springer
Abstract: Die weite Verbreitung von mobilen Ger¨aten und die Entwicklung von mobilen Kommunikationstechnologien erm¨oglichen den Einsatz solcher Ger¨ate f¨ur Aufgaben, die ¨ub...
ICCS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
HYBRID
2010
Springer
15 years 3 months 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...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...