Sciweavers

1332 search results - page 173 / 267
» A generative programming approach to developing pervasive co...
Sort
View
140
Voted
DAC
2006
ACM
15 years 4 months ago
Systematic software-based self-test for pipelined processors
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
Mihalis Psarakis, Dimitris Gizopoulos, Miltiadis H...
122
Voted
GI
2010
Springer
15 years 1 months ago
Explicit and Implicit Ratings for Mobile Applications
: Today most mobile operating systems provide an application portal (e.g. Android Market, AppStore) where users can search by keywords and explicitly rate applications published by...
Andrea Girardello, Florian Michahelles
136
Voted
ICCV
1999
IEEE
16 years 4 months ago
Recognition of Multi-Agent Interaction in Video Surveillance
This paper describes a probabilistic syntactic approach to the detection and recognition of temporally extended activities and interactions between multiple agents. A complete sys...
Yuri A. Ivanov, Aaron F. Bobick
134
Voted
COORDINATION
2006
Springer
15 years 6 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
CASES
2007
ACM
15 years 6 months ago
Non-transparent debugging for software-pipelined loops
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
Hugo Venturini, Frédéric Riss, Jean-...