175 search results - page 15 / 35 » Data-based identifiability analysis of non-linear dynamical ... |
ICCD
2006
IEEE
15 years 6 months ago
2006
IEEE
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
89
Voted
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
OSDI
2008
ACM
15 years 10 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
82
Voted
WWW
2010
ACM
15 years 2 months ago
2010
ACM
Recent work on anonymizing online social networks (OSNs) has looked at privacy preserving techniques for publishing a single instance of the network. However, OSNs evolve and a si...
EOR
2008
14 years 8 months ago
2008
We study the problem of asset and liability management of participating insurance policies with guarantees. We develop a scenario optimization model for integrative asset and liab...