Sciweavers

6306 search results - page 1009 / 1262
» Space, Time, and the Use of Language
Sort
View
ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
16 years 7 days ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski
AADEBUG
2005
Springer
16 years 6 days ago
Debugging object-oriented programs with behavior views
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
Donglin Liang, Kai Xu 0002
CC
2005
Springer
134views System Software» more  CC 2005»
16 years 6 days ago
Age-Oriented Concurrent Garbage Collection
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
Harel Paz, Erez Petrank, Stephen M. Blackburn
ICCSA
2004
Springer
16 years 1 days ago
Speculative Parallelization of a Randomized Incremental Convex Hull Algorithm
Finding the fastest algorithm to solve a problem is one of the main issues in Computational Geometry. Focusing only on worst case analysis or asymptotic computations leads to the d...
Marcelo H. Cintra, Diego R. Llanos Ferraris, Bel&e...
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
15 years 12 months ago
RTOS Modeling for System Level Design
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
Andreas Gerstlauer, Haobo Yu, Daniel Gajski
« Prev « First page 1009 / 1262 Last » Next »