Sciweavers

2379 search results - page 347 / 476
» Aspectizing Multi-agent Systems: From Architecture to Implem...
Sort
View
ISVLSI
2008
IEEE
136views VLSI» more  ISVLSI 2008»
16 years 9 days ago
CMOS Control Enabled Single-Type FET NASIC
A new hybrid CMOS-nanoscale circuit style has been developed that uses only one type of Field Effect Transistor (FET) in the logic portions of a design. This is enabled by CMOS pro...
Pritish Narayanan, Michael Leuchtenburg, Teng Wang...
BMCBI
2005
112views more  BMCBI 2005»
15 years 5 months ago
Web services and workflow management for biological resources
Backgorund: The completion of the Human Genome Project has resulted in large quantities of biological data which are proving difficult to manage and integrate effectively. There i...
Paolo Romano 0001, Domenico Marra, Luciano Milanes...
DSD
2007
IEEE
114views Hardware» more  DSD 2007»
16 years 7 days ago
General Digit-Serial Normal Basis Multiplier with Distributed Overlap
We present the architecture of digit-serial normal basis multiplier over GF(2m ). The multiplier was derived from the multiplier of Agnew et al. Proposed multiplier is scalable by...
Martin Novotný, Jan Schmidt
HICSS
2007
IEEE
111views Biometrics» more  HICSS 2007»
16 years 7 days ago
Joint Reference Modeling: Collaboration Support through Version Management
The derivation of specific models from reference models corresponds with the creation of reference model variants. Research on the design of such variant constructions generally a...
Oliver Thomas
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
15 years 10 months ago
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
Frédéric Mesnard, Ulrich Neumerkel