4139 search results - page 361 / 828 » Designing and Implementing Combinator Languages |
240
click to vote
JOT
2008
15 years 7 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
192
click to vote
UAIS
2002
15 years 7 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
215
Voted
PROCEDIA
2010
15 years 2 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
323
Voted
PADL
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
206
Voted
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
Manipulation of models and mappings is a common task in the design and development of information systems. Research in Model Management aims at supporting these tasks by providing...