1802 search results - page 120 / 361 » Complexity Theory for Operators in Analysis |
164
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
170
click to vote
SIGSOFT
2006
ACM
16 years 9 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
177
click to vote
NIPS
2007
15 years 7 months ago
2007
A non–linear dynamic system is called contracting if initial conditions are forgotten exponentially fast, so that all trajectories converge to a single trajectory. We use contra...
172
click to vote
SIGECOM
2008
ACM
15 years 6 months ago
2008
ACM
This paper studies a virus inoculation game on social networks. A framework is presented which allows the measuring of the windfall of friendship, i.e., how much players benefit i...
150
click to vote
FMCAD
2009
Springer
16 years 28 days ago
2009
Springer
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...