1908 search results - page 237 / 382 » How to teach software modeling |
180
click to vote
SAC
2005
ACM
16 years 1 days 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...
155
click to vote
CODES
2006
IEEE
16 years 16 days 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...
256
click to vote
IUI
2006
ACM
16 years 13 days 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...
185
click to vote
PLDI
2006
ACM
16 years 13 days 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...
189
click to vote
ISESE
2005
IEEE
16 years 1 days 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...