Sciweavers

2339 search results - page 276 / 468
» Models and Tools for Mulan Applications
Sort
View
ISCAS
2007
IEEE
101views Hardware» more  ISCAS 2007»
16 years 25 days ago
Automated HDL Generation: Comparative Evaluation
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
Yana Yankova, Koen Bertels, Stamatis Vassiliadis, ...
METRICS
2005
IEEE
16 years 3 days ago
Empowering Software Development Environments by Automatic Software Measurement
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
Bernhard Daubner
APLAS
2007
ACM
15 years 10 months ago
Mixed Inductive/Coinductive Types and Strong Normalization
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
Andreas Abel
CIKM
2006
Springer
15 years 10 months ago
k nearest neighbor classification across multiple private databases
Distributed privacy preserving data mining tools are critical for mining multiple databases with a minimum information disclosure. We present a framework including a general model...
Li Xiong, Subramanyam Chitti, Ling Liu
CGI
2000
IEEE
15 years 10 months ago
Molecular Dynamics Visualization with XML and VRML
A new Extensible Markup Language (XML) application, Molecular Dynamics Language (MoDL) has been developed. MoDL provides a simple, but powerful tool for molecular dynamics visuali...
B. Arun, V. Chandru, A. D. Ganguly, Swami Manohar