Sciweavers

2025 search results - page 278 / 405
» Software performance modelling using PEPA nets
Sort
View
110
Voted
CODES
2006
IEEE
15 years 6 months ago
A multiprocessing approach to accelerate retargetable and portable dynamic-compiled instruction-set simulation
Traditionally, instruction-set simulators (ISS’s) are sequential programs running on individual processors. Besides the advances of simulation techniques, ISS’s have been main...
Wei Qin, Joseph D'Errico, Xinping Zhu
112
Voted
JUCS
2008
166views more  JUCS 2008»
15 years 23 days ago
Exploring Lua for Concurrent Programming
The popularization of multi-core processors and of technologies such as hyper-threading demonstrates a fundamental change in the way processors have been evolving and also increase...
Alexandre Skyrme, Noemi de La Rocque Rodriguez, Ro...
83
Voted
CIVR
2007
Springer
104views Image Analysis» more  CIVR 2007»
15 years 7 months ago
Semantic facets: an in-depth analysis of a semantic image retrieval system
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...
Jonathon S. Hare, Paul H. Lewis, Peter G. B. Enser...
102
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
113
Voted
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
15 years 9 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...