Sciweavers

851 search results - page 95 / 171
» Synthesis of Distributed Systems from Knowledge-Based Specif...
Sort
View
GCC
2007
Springer
14 years 3 months ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
IEEEPACT
2008
IEEE
14 years 5 months ago
Meeting points: using thread criticality to adapt multicore hardware to parallel regions
We present a novel mechanism, called meeting point thread characterization, to dynamically detect critical threads in a parallel region. We define the critical thread the one with...
Qiong Cai, José González, Ryan Rakvi...
ECBS
1996
IEEE
93views Hardware» more  ECBS 1996»
14 years 3 months ago
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
Gérard Le Lann
ICB
2007
Springer
79views Biometrics» more  ICB 2007»
14 years 5 months ago
On Some Performance Indices for Biometric Identification System
This paper investigates a new approach to formulate performance indices of biometric system using information theoretic models. The performance indices proposed here (unlike conven...
Jay Bhatnagar, Ajay Kumar
ICSE
2003
IEEE-ACM
14 years 11 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...