6274 search results - page 679 / 1255 » Proofs, Programs, Processes |
194
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
A compressed-domain transformation is one that operates directly on the compressed format, rather than requiring conversion to an uncompressed format prior to processing. Performi...
190
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
200
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Identifiers represent an important source of information for programmers understanding and maintaining a system. Self-documenting identifiers reduce the time and effort necessa...
192
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Hardware designers are increasingly turning to Single Chip Multi-Processors to achieve power and throughput goals. To further increase performance for a specific application the c...
222
click to vote
DRM
2005
Springer
16 years 21 days ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...