1154 search results - page 230 / 231 » Implementing Typed Intermediate Languages |
136
Voted
JUCS
2006
15 years 1 months ago
2006
: Nowadays, many daily human activities such as education, trade, talks, etc are done by using the Internet. In such things as registration on Internet web sites, hackers write pro...
125
Voted
INFORMS
1998
15 years 24 days ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
120
Voted
TOMACS
1998
15 years 23 days ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
125
Voted
VLDB
2002
ACM
15 years 23 days ago
2002
ACM
With the rapid growth of XML-document traffic on the Internet, scalable content-based dissemination of XML documents to a large, dynamic group of consumers has become an important...
127
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...