Sciweavers

1456 search results - page 182 / 292
» DYANA: An Environment for Embedded System Design and Analysi...
Sort
View
UML
2001
Springer
15 years 11 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
MODELS
2007
Springer
16 years 17 days ago
Modeling Time(s)
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
Charles André, Frédéric Malle...
CIDR
2009
159views Algorithms» more  CIDR 2009»
15 years 7 months ago
RIOT: I/O-Efficient Numerical Computing without SQL
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
Yi Zhang 0011, Herodotos Herodotou, Jun Yang 0001
ECCV
1996
Springer
16 years 8 months ago
Uncalibrated Visual Tasks via Linear Interaction
In this paper, we propose an approach for the control and layering of space-time continuous visual tasks with an uncalibrated camera. The approach is based on the bidimensional ap...
Carlo Colombo, James L. Crowley
DAC
2004
ACM
16 years 7 months ago
A scalable soft spot analysis methodology for compound noise effects in nano-meter circuits
Circuits using nano-meter technologies are becoming increasingly vulnerable to signal interference from multiple noise sources as well as radiation-induced soft errors. One way to...
Chong Zhao, Xiaoliang Bai, Sujit Dey