Sciweavers

2583 search results - page 444 / 517
» On the Representation of Timed Polyhedra
Sort
View
ECRTS
2008
IEEE
16 years 22 days ago
Temporal Analysis for Adapting Concurrent Applications to Embedded Systems
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
Sibin Mohan, Johannes Helander
ICPP
2008
IEEE
16 years 21 days ago
A Replication Overlay Assisted Resource Discovery Service for Federated Systems
Abstract—Federated systems have recently attracted much attention because they allow loosely coupled organizations to share resources for common benefits. However, discovering r...
Hao Yang, Fan Ye, Zhen Liu
SASO
2008
IEEE
16 years 19 days ago
Integer Gradient for Cellular Automata: Principle and Examples
—When programming a spatial computing medium such as a cellular automaton, the hop count distance to some set of sources (particles) is an often used information. In particular, ...
Luidnel Maignan, Frédéric Gruau
GLVLSI
2007
IEEE
171views VLSI» more  GLVLSI 2007»
16 years 18 days ago
Combinational equivalence checking for threshold logic circuits
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...
Tejaswi Gowda, Sarma B. K. Vrudhula, Goran Konjevo...
CIVR
2007
Springer
231views Image Analysis» more  CIVR 2007»
16 years 13 days ago
Classification of video events using 4-dimensional time-compressed motion features
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
Alexander Haubold, Milind R. Naphade