Sciweavers

3104 search results - page 92 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
RTAS
2008
IEEE
15 years 10 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
133
Voted
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 14 days ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
129
Voted
EUROPAR
2001
Springer
15 years 8 months ago
Use of Agent-Based Service Discovery for Resource Management in Metacomputing Environment
A new methodology is presented in this paper for resource management in a metacomputing environment using a hierarchy of homogeneous agents that has the capability of service disco...
Junwei Cao, Darren J. Kerbyson, Graham R. Nudd
134
Voted
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 3 months ago
Using Coloured Petri Nets for design of parallel raytracing environment
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
Stefan Korecko, Branislav Sobota
143
Voted
EIT
2008
IEEE
15 years 5 months ago
Experiments in attacking FPGA-based embedded systems using differential power analysis
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
Song Sun, Zijun Yan, Joseph Zambreno