Hybrid parallel execution model for logic-based specification languages
Збережено в:
Автор: | Tsai, Jeffrey J.-P |
---|---|
Співавтор: | ebrary, Inc |
Інші автори: | Li, Bing, 1960- |
Формат: | Електронний ресурс eКнига |
Мова: | Англійська |
Опубліковано: |
Singapore ; New Jersey :
World Scientific,
c2001.
|
Серія: | Series on software engineering and knowledge engineering ;
v. 10. |
Предмети: | |
Онлайн доступ: | An electronic book accessible through the World Wide Web; click to view |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Схожі ресурси
VHDL for logic synthesis
за авторством: Rushton, Andrew
Опубліковано: (2011)
за авторством: Rushton, Andrew
Опубліковано: (2011)
VHDL-2008 just the new stuff /
за авторством: Ashenden, Peter J.
Опубліковано: (2008)
за авторством: Ashenden, Peter J.
Опубліковано: (2008)
Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
за авторством: Lee, James M., 1962-
Опубліковано: (2002)
за авторством: Lee, James M., 1962-
Опубліковано: (2002)
Architectures for computer vision : from algorithm to chip with Verilog /
за авторством: Jeong, Hong
Опубліковано: (2014)
за авторством: Jeong, Hong
Опубліковано: (2014)
FSM-based digital design using Verilog HDL
за авторством: Minns, Peter D.
Опубліковано: (2008)
за авторством: Minns, Peter D.
Опубліковано: (2008)
Computer principles and design in Verilog HDL /
за авторством: Li, Yamin
Опубліковано: (2015)
за авторством: Li, Yamin
Опубліковано: (2015)
Digital design an embedded systems approach using VHDL /
за авторством: Ashenden, Peter J.
Опубліковано: (2008)
за авторством: Ashenden, Peter J.
Опубліковано: (2008)
Digital design an embedded systems approach using Verilog /
за авторством: Ashenden, Peter J.
Опубліковано: (2008)
за авторством: Ashenden, Peter J.
Опубліковано: (2008)
Fundamentals of digital logic : with VHDL design /
за авторством: Brown, Stephen
Опубліковано: (2009)
за авторством: Brown, Stephen
Опубліковано: (2009)
FPGA prototyping by VHDL examples Xilinx Spartan-3 version /
за авторством: Chu, Pong P., 1959-
Опубліковано: (2008)
за авторством: Chu, Pong P., 1959-
Опубліковано: (2008)
FPGA prototyping by Verilog examples Xilinx Spartan -3 version /
за авторством: Chu, Pong P., 1959-
Опубліковано: (2008)
за авторством: Chu, Pong P., 1959-
Опубліковано: (2008)
Embedded SoPC design with NIOS II processor and Verilog examples
за авторством: Chu, Pong P., 1959-
Опубліковано: (2012)
за авторством: Chu, Pong P., 1959-
Опубліковано: (2012)
The designer's guide to VHDL
за авторством: Ashenden, Peter J.
Опубліковано: (2008)
за авторством: Ashenden, Peter J.
Опубліковано: (2008)
Introduction to digital systems modeling, synthesis, and simulation using VHDL /
за авторством: Ferdjallah, Mohammed
Опубліковано: (2011)
за авторством: Ferdjallah, Mohammed
Опубліковано: (2011)
Embedded SOPC design with NIOS II processor and VHDL examples
за авторством: Chu, Pong P., 1959-
Опубліковано: (2011)
за авторством: Chu, Pong P., 1959-
Опубліковано: (2011)
Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
за авторством: Huss, Sorin A. (Sorin Alexander)
Опубліковано: (2001)
за авторством: Huss, Sorin A. (Sorin Alexander)
Опубліковано: (2001)
Scheduling of large-scale virtualized infrastructures : toward cooperative management /
за авторством: Quesnel, Flavien
Опубліковано: (2014)
за авторством: Quesnel, Flavien
Опубліковано: (2014)
Design rules
за авторством: Baldwin, Carliss Y. (Carliss Young)
Опубліковано: (2000)
за авторством: Baldwin, Carliss Y. (Carliss Young)
Опубліковано: (2000)
Description logic rules /
за авторством: Krötzsch, Markus
Опубліковано: (2010)
за авторством: Krötzsch, Markus
Опубліковано: (2010)
Emerging artificial intelligence applications in computer engineering real word AI systems with applications in eHealth, HCI, information retrieval and pervasive technologies /
Опубліковано: (2007)
Опубліковано: (2007)
The soul of a new machine /
за авторством: Kidder, Tracy
Опубліковано: (1981)
за авторством: Kidder, Tracy
Опубліковано: (1981)
Proceedings of the 11th Joint International Computer Conference JICC 2005, Chongqing, China, 10-12 November 2005 /
Опубліковано: (2005)
Опубліковано: (2005)
CompTIA Network+ lab manual
за авторством: Skandier, Toby
Опубліковано: (2012)
за авторством: Skandier, Toby
Опубліковано: (2012)
The computer from Pascal to von Neumann
за авторством: Goldstine, Herman H. (Herman Heine), 1913-2004
Опубліковано: (1993)
за авторством: Goldstine, Herman H. (Herman Heine), 1913-2004
Опубліковано: (1993)
Wearable sensors : fundamentals, implementation and applications /
Опубліковано: (2014)
Опубліковано: (2014)
Semantic matchmaking with nonmonotonic description logics /
за авторством: Grimm, Stephen
Опубліковано: (2009)
за авторством: Grimm, Stephen
Опубліковано: (2009)
The description logic handbook theory, implementation, and applications /
Опубліковано: (2003)
Опубліковано: (2003)
North of South : an African journey /
за авторством: Naipaul, Shiva
Опубліковано: (1980)
за авторством: Naipaul, Shiva
Опубліковано: (1980)
RDA : resource description & access /
Опубліковано: (2013)
Опубліковано: (2013)
Computer organization and design : the hardware/software interface /
за авторством: Patterson, David A.
Опубліковано: (1998)
за авторством: Patterson, David A.
Опубліковано: (1998)
Computer organization and design : the hardware/software interface /
за авторством: Patterson, David A.
Опубліковано: (2007)
за авторством: Patterson, David A.
Опубліковано: (2007)
Computer organization and design : the hardware/software interface /
за авторством: Patterson, David A.
Опубліковано: (2007)
за авторством: Patterson, David A.
Опубліковано: (2007)
International Standard Bibliographic Description (ISBD)
Опубліковано: (2007)
Опубліковано: (2007)
ISBD International Standard Bibliographic Description /
Опубліковано: (2011)
Опубліковано: (2011)
Descriptive geometry : metric /
Опубліковано: (1987)
Опубліковано: (1987)
Description in literature and other media
Опубліковано: (2007)
Опубліковано: (2007)
IFLA cataloguing principles steps towards an international cataloguing code, 5 : report from the 5th IFLA Meeting of Experts on an International Cataloguing Code, Pretoria, South Africa, 2007 = IFLA principes de catalogage : pas vers un code international de catalogage, 5 = IFLA princípios de catalogação : passos para um código internacional de catalogação, 5 /
Опубліковано: (2008)
Опубліковано: (2008)
DICT101: Introduction to Computer Hardware and Software
за авторством: Daystar University
Опубліковано: (2020)
за авторством: Daystar University
Опубліковано: (2020)
Guide to Greece : Central Greece.
Опубліковано: (1971)
Опубліковано: (1971)
The road to Bethlehem : two thousand... /
за авторством: Harpur, Tom
Опубліковано: (1977)
за авторством: Harpur, Tom
Опубліковано: (1977)
Схожі ресурси
-
VHDL for logic synthesis
за авторством: Rushton, Andrew
Опубліковано: (2011) -
VHDL-2008 just the new stuff /
за авторством: Ashenden, Peter J.
Опубліковано: (2008) -
Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
за авторством: Lee, James M., 1962-
Опубліковано: (2002) -
Architectures for computer vision : from algorithm to chip with Verilog /
за авторством: Jeong, Hong
Опубліковано: (2014) -
FSM-based digital design using Verilog HDL
за авторством: Minns, Peter D.
Опубліковано: (2008)