Sciweavers

2775 search results - page 405 / 555
» Visualizing abstract events
Sort
View
CODES
2000
IEEE
15 years 11 months ago
Frequency interleaving as a codesign scheduling paradigm
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...
JoAnn M. Paul, Simon N. Peffers, Donald E. Thomas
IPPS
1999
IEEE
15 years 10 months ago
SCALA: A Framework for Performance Evaluation of Scalable Computing
Abstract. Conventional performance environments are based on pro ling and event instrumentation. It becomes problematic as parallel systems scale to hundreds of nodes and beyond. A...
Xian-He Sun, Mario Pantano, Thomas Fahringer, Zhao...
CONCUR
1999
Springer
15 years 10 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
IWAN
1999
Springer
15 years 10 months ago
Policy Specification for Programmable Networks
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
Morris Sloman, Emil Lupu
ROBOCUP
1999
Springer
107views Robotics» more  ROBOCUP 1999»
15 years 10 months ago
The RoboCup-98 Teamwork Evaluation Session: A Preliminary Report
Abstract. Increasingly, agent teams are used in realistic and complex multiagent environments. In such environments, dynamic and complex changes in the environment require appropri...
Gal A. Kaminka