895 search results - page 147 / 179 » A User Guide to HyTech |
IMR
2003
Springer
14 years 28 days ago
2003
Springer
Motivated by Lagrangian simulation of elastic deformation, we propose a new tetrahedral mesh generation algorithm that produces both high quality elements and a mesh that is well ...
FCCM
2002
IEEE
14 years 21 days ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...
ESWS
2010
Springer
14 years 16 days ago
2010
Springer
Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users. These policies have various applications ranging from dynamic age...
ICSE
2001
IEEE-ACM
14 years 5 days ago
2001
IEEE-ACM
Reading techniques are step-by-step procedures that guide individual inspectors while they uncover defects in a software artifact. Reading techniques provide a systematic and well...
DSN
2000
IEEE
14 years 4 days ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...