5863 search results - page 779 / 1173 » On Model-Checking of P Systems |
185
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
Agents can personalize otherwise impersonal computational systems. The World Wide Web presents the same appearance to every user regardless of that user’s past activity. Web Bro...
211
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
162
Voted
HICSS
1996
IEEE
15 years 11 months ago
1996
IEEE
Simulation of landscape ecosystems with high realism demands computing power greatly exceeding that of current workstation technology. However, the prospects are excellent that mo...
182
click to vote
HICSS
1994
IEEE
15 years 11 months ago
1994
IEEE
The development of accurate trace-driven simulation models has become a key activity in the design of new high-performance computer systems. Tracedriven simulation is fast) enabli...
157
click to vote
ICIP
1994
IEEE
15 years 11 months ago
1994
IEEE
Efforts to build high-speed hardware for many different entropy coders are limited by fundamental feedback loops. Here is a method that allows for parallel compression in hardware...