Sciweavers

7742 search results - page 1290 / 1549
» The Robustness of Level Sets
Sort
View
AISC
2008
Springer
15 years 8 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...
AOSD
2008
ACM
15 years 8 months ago
StrongAspectJ: flexible and safe pointcut/advice bindings
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
Bruno De Fraine, Mario Südholt, Viviane Jonck...
ASPDAC
2008
ACM
168views Hardware» more  ASPDAC 2008»
15 years 8 months ago
A fast two-pass HDL simulation with on-demand dump
- Simulation-based functional verification is characterized by two inherently conflicting targets: the signal visibility and simulation performance. Achieving a proper trade-off be...
Kyuho Shim, Youngrae Cho, Namdo Kim, Hyuncheol Bai...
ASPDAC
2008
ACM
95views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Statistical power profile correlation for realistic thermal estimation
At system level, the on-chip temperature depends both on power density and the thermal coupling with the neighboring regions. The problem of finding the right set of input power pr...
Love Singhal, Sejong Oh, Eli Bozorgzadeh
ATC
2008
Springer
15 years 8 months ago
Measuring and Analyzing Emerging Properties for Autonomic Collaboration Service Adaptation
Dynamic collaboration environments in which team member utilize different pervasive collaboration services for their collaborative work pose many challenges for service adaptation....
Christoph Dorn, Hong Linh Truong, Schahram Dustdar
« Prev « First page 1290 / 1549 Last » Next »