1886 search results - page 320 / 378 » Modeling and Enacting Software Processes Using VRPML |
130
Voted
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
149
Voted
AUIC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a markerless registration approach for Augmented Reality (AR) systems based on the Kanade-Lucas-Tomasi (KLT) natural feature tracker and the affine reconstruct...
126
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
103
Voted
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
123
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...