1774 search results - page 120 / 355 » Modeling and implementing software architecture with acme an... |
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
118
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
136
Voted
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
This paper introduces MobiCare ? a novel service architecture that enables a wide range of health-related services for efficient and mobile patient care. These services include: (...
108
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Cycles per Instruction (CPI) stacks break down processor execution time into a baseline CPI plus a number of miss event CPI components. CPI breakdowns can be very helpful in gaini...
136
Voted
SIGCOMM
2000
ACM
15 years 8 months ago
2000
ACM
As the number of hosts attached to a network increases beyond what can be connected by a single local area network (LAN), forwarding packets between hosts on different LANs become...