1908 search results - page 237 / 382 » How to teach software modeling |
151
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
131
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
222
Voted
IUI
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
152
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
158
click to vote
ISESE
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...