Sciweavers

5683 search results - page 305 / 1137
» Interactive Schedulability Analysis
Sort
View
WCET
2010
15 years 4 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...
CORR
2011
Springer
241views Education» more  CORR 2011»
14 years 10 months ago
An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
Luis Antonio de Santa-Eulalia, Sophie D'Amours, Je...
ICONFERENCE
2011
15 years 1 months ago
The structure of collaborative problem solving in a virtual math team
To develop a science of small-group interaction in groupware, we need a method for analyzing the structure of computer-mediated discourse. Conversation analysis offers an analysis...
Gerry Stahl
IPPS
2006
IEEE
16 years 23 days ago
Performance analysis of Java concurrent programming: a case study of video mining system
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
Wenlong Li, Eric Li, Ran Meng, Tao Wang, Carole Du...
MICRO
2005
IEEE
123views Hardware» more  MICRO 2005»
16 years 9 days ago
A Criticality Analysis of Clustering in Superscalar Processors
Clustered machines partition hardware resources to circumvent the cycle time penalties incurred by large, monolithic structures. This partitioning introduces a long inter-cluster ...
Pierre Salverda, Craig B. Zilles