2232 search results - page 228 / 447 » A Scalable Approach to MPI Application Performance Analysis |
136
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
250
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...
148
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
126
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
155
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Due to the limited amounts of on-chip memory, large volumes of data, and performance and power consumption overhead associated with interprocessor communication, efficient managem...