Sciweavers

510 search results - page 54 / 102
» Runtime Prediction of Real Programs on Real Machines
Sort
View
123
Voted
ADAEUROPE
2004
Springer
15 years 9 months ago
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
Mario Aldea Rivas, Francisco Javier Miranda Gonz&a...
ICIC
2009
Springer
15 years 10 months ago
Function Sequence Genetic Programming
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
Shixian Wang, Yuehui Chen, Peng Wu
PCI
2001
Springer
15 years 8 months ago
The Opsis Project: Materialized Views for Data Warehouses and the Web
Abstract. The real world we live in is mostly perceived through an incredibly large collection of views generated by humans, machines, and other systems. This is the view reality. ...
Nick Roussopoulos, Yannis Kotidis, Alexandros Labr...
STTT
2010
97views more  STTT 2010»
15 years 2 months ago
Distributed dynamic partial order reduction
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Rob...
ASPLOS
2000
ACM
15 years 8 months ago
FLASH vs. (Simulated) FLASH: Closing the Simulation Loop
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
Jeff Gibson, Robert Kunz, David Ofelt, Mark Heinri...