3686 search results - page 330 / 738 » Pattern-Based Parallel Programming |
200
Voted
BANFF
1995
15 years 7 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
141
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
127
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
128
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
107
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— The demand for flexible and re-programmable robots has increased the need for programming by demonstration systems. In this paper, grasp recognition is considered in a program...