Sciweavers

3809 search results - page 425 / 762
» Associative language descriptions
Sort
View
ICSE
2000
IEEE-ACM
15 years 11 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
PLDI
1995
ACM
15 years 11 months ago
Tile Size Selection Using Cache Organization and Data Layout
When dense matrix computations are too large to fit in cache, previous research proposes tiling to reduce or eliminate capacity misses. This paper presents a new algorithm for ch...
Stephanie Coleman, Kathryn S. McKinley
WSC
2007
15 years 10 months ago
Representation and simulation of stochastic petrinet models using xPNML
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee
IICAI
2007
15 years 9 months ago
Hierarchical Course Knowledge Representation using Ontologies
In this paper we present a method to represent knowledge associated with a course. Course knowledge can be represented in the form of hierarchical prerequisite relation based weigh...
Javed I. Khan, Manas Hardas
IJCAI
2007
15 years 9 months ago
Team Programming in Golog under Partial Observability
In this paper, we present the agent programming language TEAMGOLOG, which is a novel approach to programming a team of cooperative agents under partial observability. Every agent ...
Alessandro Farinelli, Alberto Finzi, Thomas Lukasi...