iammealva's watchlist [171 articles] Export Sort

Recent papers matching iammealva's watchlist criteria

Hide details

	Superscalar microprocessor design [My Copy] (1991) by Mike Johnson posted to superscalar architecture by jmmcg to the group CompArch on 2009-08-26 12:02:03 as
	Computer Architecture: A Quantitative Approach [My Copy] by John Hennessy, John L. Hennessy, David Goldberg, David A. Patterson posted to superscalar architecture by jmmcg to the group CompArch on 2009-08-26 12:01:41 as along with 2 people mzabidi walteryhli
	CARE: Overview of an Adaptive Multithreaded Architecture [My Copy] High Performance Computing (2003), pp. 26-38. by Andrés Márquez, Guang R. Gao posted to care by jmmcg to the group CompArch on 2009-08-19 15:50:58 as along with 1 group ParComp
	Multiple Instruction Stream Processor [My Copy] In ISCA '06: Proceedings of the 33rd annual international symposium on Computer Architecture (2006), pp. 114-127. by Richard A. Hankins, Gautham N. Chinya, Jamison D. Collins, et al.Perry H. Wang, Ryan Rakvic, Hong Wang, John P. Shen posted to architecture multicore programming by elsaturnino to the group CompArch on 2009-06-03 00:46:34 as along with 1 person alagor
	Using an ML-Like Language to Specify the Semantics of Machine Instructions [My Copy] by Norman Ramsey posted to architecture language specification by peschue to the group CompArch on 2008-01-25 20:12:11 as along with 1 person and 1 group michael_hliao Compilers
	A study of instruction cache organizations and replacement policies [My Copy] SIGARCH Comput. Archit. News, Vol. 11, No. 3. (June 1983), pp. 132-137. by James E. Smith, James R. Goodman posted to architecture cache by aleks to the group Compilers on 2006-05-07 22:46:14 as
	The Republic of Plato [My Copy] (01 September 1991) by Plato, Allan D. Bloom posted to greek mimesis philosophy plato by aleks to the group Compilers on 2006-04-28 16:39:32 as along with 3 people and 1 group jprenosi joshrothman cannedAir English_Literature
	Ion [My Copy] (1996) by Plato edited by Allen R. E. (tr) posted to greek mimesis philosophy plato by aleks to the group Compilers on 2006-04-28 16:38:08 as
	Let Us Infotain You: Politics in the New Media Environment [My Copy] In Mediated Politics : Communication in the Future of Democracy (Communication, Society and Politics) (20 November 2000) by Michael X. Carpini, Bruce A. Williams edited by Lance Bennett, Robert M. Entman posted to media mimesis by aleks to the group Compilers on 2006-04-28 16:28:43 as
	Functional programming with bananas, lenses, envelopes and barbed wire [My Copy] In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted to category-theory functional-programming by aleks to the group Compilers on 2006-04-20 23:03:19 as along with 12 people and 2 groups ama08r Benja greenrd yallop jyasskin voigt oryp6518 dmitri83 rgb bringert wtribbey spl SRG_at_UCD pileWorks
	Categorical Geometry and the Mathematical Foundations of Quantum General Relativity [My Copy] (28 Feb 2006) by Louis Crane posted to category-theory physics relativity topology by aleks to the group Compilers on 2006-04-20 23:02:04 as along with 2 people jrw proportional
	ΓCMC: A Novel Way of Compiling Functional Languages [My Copy] No. 19-92*. (July 1992) by Rafael D. Lins, Bruno O. Lira posted to architecture assembly category-theory by aleks to the group Compilers on 2006-04-20 23:00:44 as along with 3 people JeffreyPalmer jrw tautologico
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted to category-theory formal-methods functional-programming by aleks to the group Compilers on 2006-04-20 22:57:08 as along with 7 people and 1 group ama08r spl pedagand voigt p1738j Benja paper_jac ConcertRG
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to category-theory lambda-calculus by aleks to the group Compilers on 2006-04-20 22:55:35 as along with 10 people kozima pedagand JeffreyPalmer voigt msakai bonotake dmitri83 EdwardKmett Benja mcclurmc
	Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 July 1997) by Jon Barwise, Jerry Seligman posted to category-theory by aleks to the group Compilers on 2006-04-20 22:54:42 as along with 3 people Scis0000002 msakai scis0000001
	Formal Languages in Dynamical Systems [My Copy] (21 May 1993) by G. Troll posted to automata category-theory computation language by aleks to the group Compilers on 2006-04-20 22:53:05 as along with 6 people Scis0000002 pqnelson ansobol jrw BarrosH scis0000001
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted to category-theory logic by aleks to the group Compilers on 2006-04-20 22:51:54 as along with 18 people and 3 groups ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
	Formal Models for Computer Security [My Copy] ACM Comput. Surv., Vol. 13, No. 3. (September 1981), pp. 247-278. by Carl E. Landwehr posted to formal-methods security security-models by aleks to the group Compilers on 2006-04-18 21:19:02 as along with 2 people scavadini tesissvc
	A Gentle Introduction to Category Theory --- the calculational approach [My Copy] In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992) by M. M. Fokkinga posted to applied category-theory lecture-notes by aleks to the group Compilers on 2006-04-18 21:13:43 as along with 2 people michaelbanks pedagand
	Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) [My Copy] (23 August 1991) by Andrea Asperti, Giuseppe Longo posted to category-theory lambda-calculus types by aleks to the group Compilers on 2006-04-18 21:10:17 as along with 5 people pedagand robotact AbnerCYH alec masteraka
	Categories for the Working Mathematician (Graduate Texts in Mathematics) [My Copy] (25 September 1998) by Saunders M. Lane posted to category-theory by aleks to the group Compilers on 2006-04-18 20:57:35 as along with 13 people and 1 group robotact shivak pedagand ansobol mahler BarrosH msakai bonotake mstone NitinCR conal masteraka mmarcus Rightscom
	Reconstruction of gene networks using Bayesian learning and manipulation experiments [My Copy] Bioinformatics, Vol. 20, No. 17. (22 November 2004), pp. 2934-2942. by Iosifina Pournara, Lorenz Wernisch posted to bayesian machine-learning by aleks to the group Compilers on 2006-04-18 14:32:23 as along with 4 people and 1 group czeller lfriedl wnpx Yumyai kdl
	A Theory of Adjoint Functors--with some Thoughts about their Philosophical Significance [My Copy] (15 Nov 2005) by David Ellerman posted to category-theory formal-methods by aleks to the group Compilers on 2006-04-18 14:23:29 as along with 4 people and 1 group greg_restall Kevembuangga scis0000001 noam_zeilberger Impending_AI_breakthrough
	Image Processing Toolbox User's Guide [My Copy] (2004) posted to image-processing by aleks to the group Compilers on 2006-04-18 14:14:32 as
	BNF for Java Project Page [My Copy] posted to grammar java static-analysis by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Testing static analysis tools using exploitable buffer overflows from open source code [My Copy] In S{IGSOFT} '04/{FSE}-12: {P}roceedings of the 12th {ACM} {SIGSOFT} twelfth international symposium on {F}oundations of software engineering (2004), pp. 97-106. by Misha Zitser, Richard Lippmann, Tim Leek posted to static-analysis survey vulnerability by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Towards a formal model for security policies specification and validation in the selinux system [My Copy] In S{ACMAT} '04: {P}roceedings of the ninth {ACM} symposium on {A}ccess control models and technologies (2004), pp. 136-145. by Giorgio Zanin, Luigi V. Mancini posted to formal-methods linux selinux by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Kernel korner: Linux distributed security module [My Copy] Linux J., Vol. 2002, No. 102. (2002) by Miroslaw Zakrezewski, Ibrahim Haddad posted to kernel linux lsm by aleks to the group Compilers on 2006-04-18 14:14:32 as
	ARCHER: using symbolic, path-sensitive analysis to detect memory access errors [My Copy] In E{SEC}/{FSE}-11: {P}roceedings of the 9th {E}uropean software engineering conference held jointly with 11th {ACM} {SIGSOFT} international symposium on {F}oundations of software engineering (2003), pp. 327-336. by Yichen Xie, Andy Chou, Dawson Engler posted to static-analysis by aleks to the group Compilers on 2006-04-18 14:14:32 as
	`flawfinder' man page [My Copy] (May 2004) by David A. Wheeler posted to lexical static-analysis vulnerability by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams [My Copy] In P{LDI} '04: {P}roceedings of the {ACM} {SIGPLAN} 2004 conference on {P}rogramming language design and implementation (2004), pp. 131-144. by John Whaley, Monica S. Lam posted to bdd java static-analysis vulnerability by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Joeq: a virtual machine and compiler infrastructure [My Copy] In I{VME} '03: {P}roceedings of the 2003 workshop on {I}nterpreters, virtual machines and emulators (2003), pp. 58-66. by John Whaley posted to bdd compilers joeq static-analysis by aleks to the group Compilers on 2006-04-18 14:14:32 as
	bddbddb Project [My Copy] by John Whaley posted to bdd static-analysis by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Categories and Computer Science [My Copy] (1991) by R. F. C. Walters posted to category-theory by aleks to the group Compilers on 2006-04-18 14:14:32 as
	A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities [My Copy] In Proceedings from {NDSS} 2000 (2000) by David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken posted to static-analysis vulnerability by aleks to the group Compilers on 2006-04-18 14:14:32 as along with 1 person idzyuban
	BOON Project Page [My Copy] by David Wagner posted to c static-analysis vulnerability by aleks to the group Compilers on 2006-04-18 14:14:32 as
	ITS4: a static vulnerability scanner for C and C++ code [My Copy] In Computer {S}ecurity {A}pplications, 2000. {ACSAC} '00. 16th {A}nnual {C}onference (2000), pp. 257-267. by John Viega, J. T. Bloch, Yoshi Kohno, Gary Mcgraw posted to c lexical rats static-analysis vulnerability by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Principles of database and knowledge-base systems, Vol. I [My Copy] (1988) by Jeffrey D. Ullman posted to database datalog knowledge-base logical-programming by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Bottom-up beats top-down for datalog [My Copy] In P{ODS} '89: {P}roceedings of the eighth {ACM} {SIGACT}-{SIGMOD}-{SIGART} symposium on {P}rinciples of database systems (1989), pp. 140-149. by J. D. Ullman posted to datalog logical-programming by aleks to the group Compilers on 2006-04-18 14:14:32 as
	setools Project [My Copy] by tresys Technology posted to selinux tools tresys by aleks to the group Compilers on 2006-04-18 14:14:32 as
	sparse Readme [My Copy] (2004) by Linus Torvalds, Pavel Machek posted to c linux static-analysis by aleks to the group Compilers on 2006-04-18 14:14:32 as
	SELinux Configuration Language: Expressiveness and Validation of Policies [My Copy] (November 2003) by Jacques Thomas posted to formal-methods high-level-language selinux validation by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Introduction to Linear Algebra [My Copy] (2003) by Gilbert Strang posted to algebra linear textbook by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Policy Analysis for Security-Enhanced Linux [My Copy] (2004) by Beata S. Starosta, Scott D. Stoller posted to analysis policy selinux by aleks to the group Compilers on 2006-04-18 14:14:32 as
	The Flask Security Architecture: System Support for Diverse Security Policies [My Copy] In Proceedings of {T}he {E}ighth {USENIX} {S}ecurity {S}ymposium (August 1999), pp. 123-139. by Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, David Andersen, Jay Lepreau posted to flask mac security selinux by aleks to the group Compilers on 2006-04-18 14:14:32 as
	ATOM: a system for building customized program analysis tools [My Copy] SIGPLAN Not., Vol. 39, No. 4. (2004), pp. 528-539. by Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, David Andersen, Jay Lepreau posted to binary static-analysis by aleks to the group Compilers on 2006-04-18 14:14:32 as
	CodeAssure Source Code Analysis Information [My Copy] by Secure Software posted to commercial static-analysis vulnerability by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Audit Workbench Product Page [My Copy] by Fortify Software posted to commercial static-analysis vulnerability by aleks to the group Compilers on 2006-04-18 14:14:32 as
	An Investigation into Functions as Processes [My Copy] In Proceedings of the 9th {I}nternational {C}onference on {M}athematical {F}oundations of {P}rogramming {S}emantics (1994), pp. 143-159. by Davide Sangiorgi posted to algebra pi-calculus process by aleks to the group Compilers on 2006-04-18 14:14:32 as
	Two Complete Axiom Systems for the Algebra of Regular Events [My Copy] J. ACM, Vol. 13, No. 1. (1966), pp. 158-169. by Arto Salomaa posted to algebra formal-methods kleene by aleks to the group Compilers on 2006-04-18 14:14:32 as

Note: You may cite this page as: http://www.citeulike.org/user/iammealva/watchlist

Result page: 1 2 3 4 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

architecture	28
compiler	24
extension	23
instruction	22
instruction-set	22
scheduling	8
identification	5
enumeration	4
pipeline	3
ilp	3
optimization	2
reconfigurable_computing	2
selection	2
software	2
list_scheduling	2
phase	2
programming_model	1
multicore	1
clustered	1
survey	1
forwarding	1
modulo	1

iammealva's watchlist [171 articles] Export Sort

iammealva's tags