5863 search results - page 1104 / 1173 » On Model-Checking of P Systems |
145
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
172
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
150
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
A major source of information (often the most crucial and informative part) in scholarly articles from scientific journals, proceedings and books are the figures that directly pro...
119
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
To contribute to systems that reason about human attention, our work empirically demonstrates how a user's mental workload changes during task execution. We conducted a study...
114
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Increasing complexity of the functionalities and the resultant growth in number of gates integrated in a chip coupled with shrinking geometries and short cycle time requirements br...