Sciweavers

1022 search results - page 76 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
132
Voted
CASES
2005
ACM
15 years 4 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
JUCS
2000
102views more  JUCS 2000»
15 years 2 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
124
Voted
CVPR
2006
IEEE
16 years 4 months ago
Epipolar Geometry of Central Projection Systems Using Veronese Maps
We study the epipolar geometry between views acquired by mixtures of central projection systems including catadioptric sensors and cameras with lens distortion. Since the projecti...
João P. Barreto, Kostas Daniilidis
TOCS
2008
131views more  TOCS 2008»
15 years 2 months ago
A generic component model for building systems software
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
Geoff Coulson, Gordon S. Blair, Paul Grace, Fran&c...
IJCAI
1993
15 years 3 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff