17298 search results - page 95 / 3460 » Abstract computing machines |
183
click to vote
AI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Interactive data mining focuses on efficient and effective humancomputer interactions for data analysis purposes. An interactive system is an integration of a human user ...
188
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
194
click to vote
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Modern multiprocessor architectures such as CC-NUMA machines or CMPs have nonuniform communication architectures that render programs sensitive to memory access locality....
211
Voted
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
190
Voted
DLT
2010
15 years 8 months ago
2010
Abstract. We prove that uniform and semi-uniform families of P systems with active membranes using only communication and nonelementary division rules are not computationally unive...