Sciweavers

126 search results - page 9 / 26
» Decreasing Diagrams II
Sort
View
MST
2006
120views more  MST 2006»
13 years 10 months 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...
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
14 years 4 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...
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
14 years 5 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...
CDC
2008
IEEE
161views Control Systems» more  CDC 2008»
14 years 5 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
POLICY
2007
Springer
14 years 4 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