2341 search results - page 319 / 469 » Using ontologies for simulation integration |
122
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
126
click to vote
VLSID
1998
IEEE
15 years 6 months ago
1998
IEEE
With several commercial tools becoming available, the high-level synthesis of applicationspeci c integrated circuits is nding wide spread acceptance in VLSI industry today. Existi...
128
Voted
ICCV
1998
IEEE
16 years 4 months ago
1998
IEEE
We develop a theory for the temporal integration of visual motion motivated by psychophysical experiments. The theory proposes that input data are temporally grouped and used to p...
149
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
114
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...