5591 search results - page 480 / 1119 » Design patterns: between programming and software design |
212
Voted
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
229
click to vote
CGO
2006
IEEE
16 years 1 months ago
2006
IEEE
Software code caches are increasingly being used to amortize the runtime overhead of dynamic optimizers, simulators, emulators, dynamic translators, dynamic compilers, and other t...
317
Voted
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
209
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
158
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
OceanStore is a utility infrastructure designed to span the globe and provide continuous access to persistent information. Since this infrastructure is comprised of untrusted serv...