Sciweavers

1729 search results - page 223 / 346
» Deterministic Expressions in C
Sort
View
ISCAS
1995
IEEE
114views Hardware» more  ISCAS 1995»
14 years 1 months ago
Delta-Sigma Converters Using Frequency-Modulated Intermediate Values
Abstract— This paper describes a new first and secondorder delta-sigma modulator (DSM) concept where the first integrator is extracted and implemented by a FM oscillator with t...
Mats Erling Høvin, Alf Olsen, Tor Sverre La...
NAR
2006
100views more  NAR 2006»
13 years 10 months ago
StellaBase: The Nematostella vectensis Genomics Database
ted Talks and Poster Abstracts S1, T1 Title: Evolution of the Mammalian Lamin A Gene Author: Susan N. LoCurto and Dorothy E. Pumo Affiliation: Hofstra University, Department of Bio...
James C. Sullivan, Joseph F. Ryan, James A. Watson...
DLT
2010
13 years 11 months ago
Around Dot Depth Two
It is known that the languages definable by formulae of the logics FO2[<,S], 2[<,S], LTL[F,P,X,Y] are exactly the variety DAD. Automata for this class are not known, nor is i...
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
PODC
2012
ACM
12 years 17 days ago
Weak models of distributed computing, with connections to modal logic
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
Lauri Hella, Matti Järvisalo, Antti Kuusisto,...
PLDI
2009
ACM
14 years 10 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...