4745 search results - page 634 / 949 » Discretization: An Enabling Technique |
165
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
186
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
187
click to vote
UIST
2006
ACM
16 years 23 days ago
2006
ACM
This paper presents a novel interactive system for guiding artists to paint using traditional media and tools. The enabling technology is a multi-projector display capable of cont...
182
Voted
SIGCOMM
2005
ACM
16 years 11 days ago
2005
ACM
Measurement and estimation of packet loss characteristics are challenging due to the relatively rare occurrence and typically short duration of packet loss episodes. While active ...
226
click to vote
FM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...