Sciweavers

4166 search results - page 13 / 834
» Automating the constraining process
Sort
View
139
Voted
JIPS
2011
92views more  JIPS 2011»
15 years 1 months ago
Dynamic Voltage and Frequency Scaling for Power- Constrained Design using Process Voltage and Temperature Sensor Circuits
Haiqing Nan, Kyung Ki Kim, Wei Wang 0029, Ken Choi
130
Voted
CSL
2007
Springer
15 years 10 months ago
Comparing the Expressive Power of Well-Structured Transition Systems
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van...
177
Voted
ICLP
2003
Springer
15 years 11 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia