1756 search results - page 121 / 352 » Current Directions in Hyper-Programming |
110
Voted
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...
118
Voted
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...
131
Voted
VMCAI
2010
Springer
16 years 29 days 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...
115
Voted
ICDAR
2009
IEEE
15 years 10 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...
122
Voted
ICEIS
2009
IEEE
15 years 10 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 ...