6155 search results - page 361 / 1231 » A language for multiple models of computation |
180
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
183
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
216
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
180
click to vote
COORDINATION
2005
Springer
16 years 10 days ago
2005
Springer
Within one model, behavioural consistency of its constituents is often problematic. Within UML such horizontal behavioural consistency between the objects of a concrete model, is p...
183
click to vote
ACL
2011
14 years 10 months ago
2011
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...