10790 search results - page 1823 / 2158 » Using feature models to automate model transformations |
201
click to vote
JPDC
2000
15 years 6 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...
182
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
In creating an evacuation simulation for training and planning, realistic agents that reproduce known phenomenon are required. Evacuation simulation in the airport domain requires...
194
Voted
CCS
2005
ACM
16 years 4 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
171
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
172
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper presents a target tracking framework for unstructured
crowded scenes. Unstructured crowded scenes
are defined as those scenes where the motion of a crowd
appears to b...