3335 search results - page 239 / 667 » A Unified Approach to Modeling and Programming |
161
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
140
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
183
click to vote
CLIMA
2007
15 years 8 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
239
click to vote
IPMI
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We introduce a novel algorithm for actin filament segmentation in 2D TIRFM image sequences. This problem is difficult because actin filaments dynamically change shapes ...
192
Voted
IEEEPACT
2006
IEEE
16 years 22 days ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...