Sciweavers

126 search results - page 9 / 26
» Decreasing Diagrams II
Sort
View
83
Voted
MST
2006
120views more  MST 2006»
15 years 18 days ago
Exploiting Regularities for Boolean Function Synthesis
The "regularity" of a Boolean function can be exploited for decreasing its minimization time. It has already been shown that the notion of autosymmetry is a valid measure...
Anna Bernasconi, Valentina Ciriani, Fabrizio Lucci...
112
Voted
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
15 years 6 months ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...
98
Voted
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
15 years 7 months ago
Equitable partitioning policies for robotic networks
Abstract— The most widely applied resource allocation strategy is to balance, or equalize, the total workload assigned to each resource. In mobile multi-agent systems, this princ...
Marco Pavone, Alessandro Arsie, Emilio Frazzoli, F...
92
Voted
CDC
2008
IEEE
161views Control Systems» more  CDC 2008»
15 years 7 months ago
Distributed policies for equitable partitioning: Theory and applications
Abstract— The most widely applied resource allocation strategy is to balance, or equalize, the total workload assigned to each resource. In mobile multi-agent systems, this princ...
Marco Pavone, Emilio Frazzoli, Francesco Bullo
111
Voted
POLICY
2007
Springer
15 years 6 months ago
Towards Practical Security Monitors of UML Policies for Mobile Applications
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
Fabio Massacci, Katsiaryna Naliuka