8874 search results - page 200 / 1775 » A New Implementation of Automath |
IJCAI
1989
15 years 5 months ago
1989
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...
141
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
143
click to vote
CHES
2009
Springer
16 years 4 months ago
2009
Springer
Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of rando...
151
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
140
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...