1760 search results - page 165 / 352 » A System to Mark Programs Automatically |
143
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
128
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
126
click to vote
MOZ
2004
Springer
15 years 8 months ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
158
Voted
MOBISEC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
132
Voted
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Templates are a very common solution to generate code. They are used for different tasks like rendering webpages, creating Java Beans and so on. Most template systems have no noti...