769 search results - page 57 / 154 » A Machine Model for Aspect-Oriented Programming |
169
Voted
EMNLP
2006
15 years 5 months ago
2006
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...
136
Voted
IEEEPACT
2003
IEEE
15 years 8 months ago
2003
IEEE
Recent work has shown that multithreaded workloads running in execution-driven, full-system simulation environments cannot use instructions per cycle (IPC) as a valid performance ...
148
Voted
CSR
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new model of restricted branching programs specific to solving GEN problems, which we call incremental branching programs. We show that syntactic incremental branchin...
98
Voted
EUROSIM
1994
15 years 4 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
143
Voted
POPL
2000
ACM
15 years 7 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...