Sciweavers

4716 search results - page 611 / 944
» Tangible functional programming
Sort
View
BMCBI
2006
150views more  BMCBI 2006»
14 years 11 months ago
CGAT: a comparative genome analysis tool for visualizing alignments in the analysis of complex evolutionary changes between clos
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
Ikuo Uchiyama, Toshio Higuchi, Ichizo Kobayashi
IJFCS
2007
98views more  IJFCS 2007»
14 years 11 months ago
Modular Ranking Abstraction
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
TASE
2008
IEEE
14 years 11 months ago
On Clamping Planning in Workpiece-Fixture Systems
Deformation at contacts between the workpiece and locators/clamps resulting from large contact forces causes overall workpiece displacement, and affects the localization accuracy o...
Caihua Xiong, Michael Yu Wang, You-Lun Xiong
SIGSOFT
2003
ACM
16 years 3 days ago
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
Yichen Xie, Andy Chou, Dawson R. Engler
WWW
2009
ACM
16 years 2 days ago
Rapid development of spreadsheet-based web mashups
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...
Woralak Kongdenfha, Boualem Benatallah, Julien Vay...