3710 search results - page 507 / 742 » A new calculus of contexts |
169
click to vote
IEEEPACT
2006
IEEE
16 years 20 days ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
146
click to vote
INFOCOM
2006
IEEE
16 years 20 days ago
2006
IEEE
— Studying transfer opportunities between wireless devices carried by humans, we observe that the distribution of the inter-contact time, that is the time gap separating two cont...
175
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. This motivates the use of real workloads (as recorded in activity logs) to drive simulations of n...
195
click to vote
ISSRE
2006
IEEE
16 years 20 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
163
click to vote
ISVLSI
2006
IEEE
16 years 20 days ago
2006
IEEE
With advances in process technology, the feature sizes are decreasing, which leads to higher defect densities. More sophisticated techniques, at increased costs are required to av...