3172 search results - page 122 / 635 » Combining Specification Techniques for Processes, Data and T... |
195
click to vote
PPOPP
2006
ACM
16 years 11 days ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
279
click to vote
ICDE
2001
IEEE
16 years 7 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...
184
click to vote
IPPS
2005
IEEE
16 years 20 hour ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
167
click to vote
TSP
2008
15 years 6 months ago
2008
A cross-layered slotted ALOHA protocol is proposed and analyzed for distributed estimation in sensor networks. Suppose that the sensors in the network record local measurements of ...
205
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...