Result 1 to 20 from 341 total
Implementation of an embedded hardware description language using haskell. (English)
J. UCS 9, No. 8, 795-812, electronic only (2003).
1
The number of $k$-undivided families of subsets of an $n$-element set ($k$-undivided Boolean functions). I: The case when $n$ is even and $k=2$. (Russian)
Diskretn. Anal. Issled. Oper., Ser. 1 10, No.4, 31-69 (2003).
2
Towards automatic validation of dynamic behavior in pipelined processor specifications. (English)
Des. Autom. Embed. Syst. 8, No. 2-3, 249-265 (2003).
3
A remote methodology for embedded systems design and validation. (English)
Des. Autom. Embed. Syst. 8, No. 2-3, 229-247 (2003).
4
Fast and time-accurate cosimulation with OS scheduler modeling. (English)
Des. Autom. Embed. Syst. 8, No. 2-3, 211-228 (2003).
5
Performance analysis of arbitration policies for SoC communication architectures. (English)
Des. Autom. Embed. Syst. 8, No. 2-3, 189-210 (2003).
6
Enhanced symbolic simulation for functional verification of embedded array systems. (English)
Des. Autom. Embed. Syst. 8, No. 2-3, 173-188 (2003).
7
Towards SoC validation through prototyping: A systematic approach based on reconfigurable platform. (English)
Des. Autom. Embed. Syst. 8, No. 2-3, 155-171 (2003).
8
Formal verification for embedded system designs. (English)
Des. Autom. Embed. Syst. 8, No. 2-3, 139-153 (2003).
9
An efficient simulation environment and simulation techniques for Bluetooth device design. (English)
Des. Autom. Embed. Syst. 8, No. 2-3, 119-138 (2003).
10
Some results on equivalence classes of autonomous affine automata. (Chinese)
Nat. Sci. J. Xiangtan Univ. 25, No.2, 1-4 (2003).
11
Power minimization of FPRM functions based on polarity conversion. (English)
Journal of Computer Science and Technology 18, No.3, 325-331 (2003).
12
Some properties of MOD$_m$ circuits computing simple functions. (English)
Petreschi, Rosella (ed.) et al., Algorithms and complexity. 5th Italian conference, CIAC 2003, Rome, Italy, May 28-30, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2653, 227-237 (2003).
13
Design of new DSP instructions and their hardware architecture for high-speed FFT. (English)
J. VLSI Signal Process. Syst. Signal Image Video Technol. 33, No. 3, 247-254 (2003).
14
Methodical low-power ASIP design space exploration. (English)
J. VLSI Signal Process. Syst. Signal Image Video Technol. 33, No. 3, 229-246 (2003).
15
A general construction for nonblocking crosstalk-free photonic switching networks. (English)
Networks 42, No.1, 20-25 (2003).
16
Boolean reasoning. The logic of Boolean equations. 2nd revised ed. (English)
Mineola, NY: Dover Publications. xii, 291 p. \$ 16.95 (2003).
17
Modelling, well-posedness, and stability of switched electrical networks. (English)
Maler, Oded (ed.) et al., Hybrid systems: Computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2623, 249-266 (2003).
18
Evolvable systems: From biology to hardware. 5th international conference, ICES 2003, Trondheim, Norway, March 17‒20, 2003. Proceedings. (English)
Lecture Notes in Computer Science. 2606. Berlin: Springer. xiv, 468 p. EUR 58.00/net; \$ 73.00; \sterling 40.50; sFr 96.50 (2003).
19
On $p$-ary bent functions defined on finite fields. (English)
No, Jong-Seon (ed.) et al., Mathematical properties of sequences and other combinatorial structures. Selected papers presented at the conference, Los Angeles, CA, USA, May 30-June 1, 2002. Dedicated to the 70th birthday of Solomon W. Golomb. Dordrecht: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 726, 65-76 (2003).
20
Result 1 to 20 from 341 total
Start
Contact
Print
General Help
