Sciweavers

2517 search results - page 158 / 504
» Specifying Weak Sets
Sort
View
CAAN
2006
Springer
15 years 10 months ago
Scheduling of a Smart Antenna: Capacitated Coloring of Unit Circular-Arc Graphs
We consider scheduling problems that are motivated by an optimization of the transmission schedule of a smart antenna. In these problems we are given a set of messages and a confl...
Guy Even, Shimon Shahar
ECAI
2006
Springer
15 years 10 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
ASPDAC
2001
ACM
81views Hardware» more  ASPDAC 2001»
15 years 10 months ago
High-level specification and efficient implementation of pipelined circuits
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
Maria-Cristina V. Marinescu, Martin C. Rinard
EUROMICRO
2009
IEEE
15 years 9 months ago
Sprint Planning with a Digital Aid Tool: Lessons Learnt
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...
Erlend Agoy Engum, Zornitza Racheva, Maya Daneva
SGP
2007
15 years 9 months ago
Constraint-based fairing of surface meshes
We propose a constraint-based method for the fairing of surface meshes. The main feature of our approach is that the resulting smoothed surface remains within a prescribed distanc...
Klaus Hildebrandt, Konrad Polthier