1965 search results - page 314 / 393 » On the analysis of interacting pushdown systems |
ICPP
2005
IEEE
14 years 2 months ago
2005
IEEE
The Cosmic Microwave Background (CMB) is an exquisitely sensitive probe of the fundamental parameters of cosmology. Extracting this information is computationally intensive, requi...
INFOVIS
2005
IEEE
14 years 2 months ago
2005
IEEE
Recent years have witnessed the dramatic popularity of online social networking services, in which millions of members publicly articulate mutual "friendship" relations....
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
ISI
2004
Springer
14 years 2 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
IRI
2003
IEEE
14 years 2 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...