1884 search results - page 149 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
SIGSOFT
1994
ACM
15 years 2 months ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...
123
click to vote
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
101
click to vote
ECMDAFA
2008
Springer
14 years 12 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
IJSR
2010
14 years 8 months ago
2010
Abstract In this article, we present a component-based visual tracker for mobile platforms with an application to person tracking. The core of the technique is a componentbased des...
103
Voted
FCCM
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--The Cibola Flight Experiment (CFE) is an experimental small satellite developed at the Los Alamos National Laboratory to demonstrate the feasibility of using FPGA-based r...