1346 search results - page 211 / 270 » On the Use of UML for Modeling Physical Systems |
126
click to vote
ISPASS
2007
IEEE
15 years 6 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
CHI
2000
ACM
15 years 4 months ago
2000
ACM
We introduce HandSCAPE, an orientation-aware digital tape measure, as an input device for digitizing field measurements, and visualizing the volume of the resulting vectors with c...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Microrobots experience physical phenomena that are difficult to model analytically and that are not completely captured with macro-scale prototypes. In this paper we present a...
208
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper aims to present ideas to bridge the gap between two conflicting views of information: Shannon information, which is used to model physical layer information, and se...