Sciweavers

5977 search results - page 364 / 1196
» Hierarchical Performance Modeling for Distributed System Arc...
Sort
View
205
Voted
ENTCS
2008
103views more  ENTCS 2008»
15 years 6 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
CODES
2005
IEEE
16 years 11 days ago
An architectural level design methodology for embedded face detection
Face detection and recognition research has attracted great attention in recent years. Automatic face detection has great potential in a large array of application areas, includin...
Vida Kianzad, Sankalita Saha, Jason Schlessman, Ga...
DAC
2010
ACM
15 years 7 months ago
RAMP gold: an FPGA-based architecture simulator for multiprocessors
We present RAMP Gold, an economical FPGA-based architecture simulator that allows rapid early design-space exploration of manycore systems. The RAMP Gold prototype is a high-throu...
Zhangxi Tan, Andrew Waterman, Rimas Avizienis, Yun...
HPCC
2005
Springer
16 years 8 days ago
A Communication Broker for Nomadic Computing Systems
This paper presents the Esperanto Broker, a communication platform for nomadic computing applications. By using this broker, developers can model application components as a set of...
Domenico Cotroneo, Armando Migliaccio, Stefano Rus...
CA
2002
IEEE
15 years 11 months ago
A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitri...