187 search results - page 12 / 38 » Towards Measurable Types for Dynamical Process Modeling Lang... |
ACL
2006
13 years 10 months ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
IJON
2007
13 years 8 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
CSAC
2006
13 years 10 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...