7225 search results - page 1065 / 1445 » Software is data too |
173
Voted
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
170
click to vote
GI
2004
Springer
16 years 5 days ago
2004
Springer
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...
174
Voted
LCPC
2004
Springer
16 years 4 days ago
2004
Springer
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
196
click to vote
NIME
2004
Springer
16 years 4 days ago
2004
Springer
Though musical performers routinely use eye movements to communicate with each other during musical performances, very few performers or composers have utilized eye tracking devic...
187
click to vote
PARA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper investigates two types of overhead due to duplicated local computations, which are frequently encountered in the parallel software of overlapping domain decomp...