748 search results - page 137 / 150 » Automatic Presentations and Semigroup Constructions |
SIPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
IPMI
2005
Springer
14 years 2 months ago
2005
Springer
Automatic multi-modal image registration is central to numerous tasks in medical imaging today and has a vast range of applications e.g., image guidance, atlas construction, etc. ...
MPC
2010
Springer
14 years 1 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
PLDI
2010
ACM
14 years 27 days ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
WMRD
1990
14 years 25 days ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...