Sciweavers

398 search results - page 41 / 80
» Using Benchmarking to Advance Research: A Challenge to Softw...
Sort
View
FASE
2006
Springer
15 years 3 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
AOSD
2011
ACM
14 years 3 months ago
An aspect-oriented approach for implementing evolutionary computation applications
Object-oriented frameworks support design and code reuse for specific application domains. To facilitate the development of evolutionary computation (EC) programs, such as geneti...
Andres J. Ramirez, Adam C. Jensen, Betty H. C. Che...
BMCBI
2006
141views more  BMCBI 2006»
14 years 12 months ago
The use of concept maps during knowledge elicitation in ontology development processes - the nutrigenomics use case
Background: Incorporation of ontologies into annotations has enabled 'semantic integration' of complex data, making explicit the knowledge within a certain field. One of...
Alexander García Castro, Philippe Rocca-Ser...
CGO
2010
IEEE
15 years 6 months ago
Automated just-in-time compiler tuning
Managed runtime systems, such as a Java virtual machine (JVM), are complex pieces of software with many interacting components. The Just-In-Time (JIT) compiler is at the core of t...
Kenneth Hoste, Andy Georges, Lieven Eeckhout
FPGA
2008
ACM
136views FPGA» more  FPGA 2008»
15 years 1 months ago
A complexity-effective architecture for accelerating full-system multiprocessor simulations using FPGAs
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
Eric S. Chung, Eriko Nurvitadhi, James C. Hoe, Bab...