11324 search results - page 1934 / 2265 » Coordination Models and Languages |
192
click to vote
FPL
2001
Springer
16 years 21 hour ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
231
Voted
SIGGRAPH
2010
ACM
16 years 18 hour ago
2010
ACM
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...
196
Voted
SAS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
219
Voted
STACS
2001
Springer
15 years 12 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
170
Voted
ICCD
2000
IEEE
15 years 12 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...