Sciweavers

1019 search results - page 92 / 204
» Uniform Functors on Sets
Sort
View
JAVA
1999
Springer
14 years 1 months ago
A Programmer's Reduction Semantics for Classes and Mixins
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
Matthew Flatt, Shriram Krishnamurthi, Matthias Fel...
AMET
1998
Springer
14 years 1 months ago
SICS MarketSpace - An Agent-Based Market Infrastructure
We present a simple and uniform communication framework for an agent-based market infrastructure, the goal of which is to enable automation of consumer goods markets distributed ov...
Joakim Eriksson, Niclas Finne, Sverker Janson
GLVLSI
1997
IEEE
105views VLSI» more  GLVLSI 1997»
14 years 1 months ago
OLIVIA: Objectoriented Logicsimulation Implementing the VITAL Standard
In a VHDL-based design flow for applicationspecific integrated circuits, VITAL provides a uniform methodology for developing ASIC libraries for signoff simulation. The VITAL Sta...
Josef Fleischmann, Rolf Schlagenhaft, Martin Pelle...
CONCUR
1997
Springer
14 years 1 months ago
Probabilistic Concurrent Constraint Programming
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
STOC
1996
ACM
97views Algorithms» more  STOC 1996»
14 years 1 months ago
Deterministic Restrictions in Circuit Complexity
We study the complexity of computing Boolean functions using AND, OR and NOT gates. We show that a circuit of depth d with S gates can be made to output a constant by setting O(S1...
Shiva Chaudhuri, Jaikumar Radhakrishnan