Bluespec, Inc. - PDFSEARCH.IO - Document Search Engine

Bluespec, Inc.
Results: 8

#	Item
1	Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:51:50 Functional languages Theoretical computer science Technology Bluespec Inc. Arvind Atom Lennart Augustsson Formal methods James Hoe Computing Year of birth missing Software engineering
2	Microsoft Word - FM08 Tutorial.doc Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-04-01 03:28:00 Logic in computer science Computer science Arvind Year of birth missing Electronic engineering Bluespec Inc. Formal verification Verification Correctness Formal methods Theoretical computer science Applied mathematics
3	ICFP 2008 Final Program Monday, Sep 22, 2008 Invited Talk (Chair: Peter Thiemann) 9:00 Lazy and Speculative Execution in Computer Systems Butler Lampson; Microsoft Research Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:37 Functional programming Functional languages Year of birth missing Type theory ICFP Programming Contest Generic programming Bluespec Inc. Haskell International Conference on Functional Programming Software engineering Computing Programming language theory
4	Bluespec Extensible RISC Implementation: BERI Hardware reference Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-04-14 11:22:52 Instruction set architectures Bluespec Inc. MIPS architecture Hardware description language Instruction set R4000 64-bit Reduced instruction set computing X86 debug register Computer architecture Computing Computer hardware
5	CTSRD Project Brieﬁng Robert N. M. Watson (Cambridge) Peter G. Neumann (SRI) Simon W. Moore (Cambridge) DARPA CRAS Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2014-12-11 17:47:38 Hacking Software testing Vulnerability Bluespec Inc. NetSurf Social vulnerability Computer security Compiler DARPA Software Computing Risk
6	Bluespec Extensible RISC Implementation: BERI Hardware reference Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-07-14 10:37:05 MIPS architecture Instruction set Hardware description language R4000 64-bit Reduced instruction set computing Computer architecture Instruction set architectures Bluespec Inc.
7	FPGA-‐based design of a Million point Sparse FFT Abhinav Agarwal ([removed]) Computer Science and ArCﬁcial Intelligence Laboratory M Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-02-19 20:14:09 Fast Fourier transform Fabless semiconductor companies Xilinx Bluespec Inc. Electronics Electronic engineering Digital signal processing Field-programmable gate array
8	PDF Document Add to Reading List Source URL: csg.csail.mit.edu Language: English - Date: 2003-01-22 15:24:53 Type theory Data types Functional languages Object-oriented programming Bluespec Inc. Haskell Type system Lennart Augustsson ML Software engineering Computing Programming language theory