43264 search results - page 8129 / 8653 » Comparing models of computation |
156
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
123
click to vote
P2P
2007
IEEE
15 years 10 months ago
2007
IEEE
PEPINO is a simple and effective peer-to-peer network inspector. It visualises not only meaningful pointers and connections between peers, but also the exchange of messages betwee...
142
Voted
PERCOM
2007
ACM
15 years 10 months ago
2007
ACM
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
126
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
134
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...