Sciweavers

4255 search results - page 233 / 851
» Cover
Sort
View
DATE
2010
IEEE
145views Hardware» more  DATE 2010»
15 years 11 months ago
KL-Cuts: A new approach for logic synthesis targeting multiple output blocks
— This paper introduces the concept of kl-feasible cuts, by controlling both the number k of inputs and the number l of outputs in a circuit cut. To provide scalability, the conc...
Osvaldo Martinello, Felipe S. Marques, Renato P. R...
EDOC
2002
IEEE
15 years 11 months ago
Automated Management of Inter-Organisational Applications
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
Lea Kutvonen
ITS
2010
Springer
130views Multimedia» more  ITS 2010»
15 years 11 months ago
Coordinate Geometry Learning Environment with Game-Like Properties
Mily’s World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical represen...
Dovan Rai, Joseph E. Beck, Neil T. Heffernan
APN
2001
Springer
15 years 11 months ago
Two Algebraic Process Semantics for Contextual Nets
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by...
Roberto Bruni, Vladimiro Sassone
FSTTCS
2001
Springer
15 years 11 months ago
Properties of Distributed Timed-Arc Petri Nets
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
Mogens Nielsen, Vladimiro Sassone, Jirí Srb...