2364 search results - page 265 / 473 » An Engine for Computing Well-Founded Models |
173
click to vote
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
161
Voted
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
219
click to vote
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
It is well recognized that novel computational models, devices and technologies are needed in order to sustain the remarkable advancement of CMOS-based VLSI circuits and systems. ...
179
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
146
click to vote
NAACL
2010
15 years 4 months ago
2010
This paper introduces the novel task of topic coherence evaluation, whereby a set of words, as generated by a topic model, is rated for coherence or interpretability. We apply a r...