1756 search results - page 121 / 352 » Current Directions in Hyper-Programming |
118
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
: The direct result of shrinking devices is not only higher densities but also increased switching activity and thus higher device temperatures. The variation in temperature over t...
127
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
An overall sensornet architecture would help tame the increasingly complex structure of wireless sensornet software and help foster greater interoperability between different code...
136
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
125
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Recognition and encoding of digitized historical documents is still a challenging and difficult task. A major problem is the occurrence of unknown glyphs and symbols which might n...
134
click to vote
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
With the multiplication of communication medium, the increasing multi-partner global organizations, the remote working tendencies, dynamic teams, pervasive or ubiquitous computing ...