Sciweavers

587 search results - page 28 / 118
» There is No Such Thing as Free Support
Sort
View
EWC
2007
87views more  EWC 2007»
13 years 8 months ago
Analysis methods to support design for damping
Methods are documented for active and passive damping studies with capabilities within NX I-deas and NX Nastran (http://www.ugs.com/products/nx/). The focus is on the methods that ...
Mary Baker
ENTCS
2002
115views more  ENTCS 2002»
13 years 8 months ago
Component-Based Applications: A Dynamic Reconfiguration Approach with Fault Tolerance Support
This paper presents a mechanism for dynamic reconfiguration of component-based applications and its fault tolerance strategy. The mechanism, named generic connector, allows compos...
Thaís Vasconcelos Batista, Milano Gadelha C...
POPL
2004
ACM
14 years 9 months ago
Free theorems in the presence of seq
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
Janis Voigtländer, Patricia Johann
FPCA
1989
14 years 22 days ago
Theorems for Free!
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
Philip Wadler
BSDCON
2003
13 years 10 months ago
ULE: A Modern Scheduler for FreeBSD
The existing thread scheduler in FreeBSD was well suited towards the computing environment that it was developed in. As the priorities and hardware targets of the project have cha...
Jeff Roberson